$\forall$$T$:Type, $P$:($T$$\rightarrow\mathbb{B}$), $l$:($T$ List). filter($P$; $l$) $\in$ (\{$x$:$T$$\mid$ $\uparrow$($P$($x$))\}  List)